Situation calculus - PDFSEARCH.IO - Document Search Engine

Situation calculus
Results: 55

#	Item
1	Robot Location Estimation in the Situation Calculus Vaishak Belle and Hector J. Levesque Dept. of Computer Science University of Toronto ICAPS Workshop on Planning and Robotics, June 2013 Add to Reading List Source URL: icaps13.icaps-conference.org Language: English - Date: 2017-01-12 09:35:44
2	I N F S Y S R E S E A R C H R Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2007-04-14 17:36:30 Artificial intelligence Logic programming Academia Decision theory Game theory Non-cooperative games Situation calculus Nash equilibrium Zero-sum game Markov decision process Strategy Mathematical optimization
3	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:19 Theoretical computer science Mathematical logic Mathematics Logic in computer science Boolean algebra Logic programming Automated planning and scheduling Formal methods Situation calculus Planning Domain Definition Language Boolean satisfiability problem Conjunctive normal form
4	Adaptive Multi-Agent Programming in GTGolog Alberto Finzi1, 2 and Thomas Lukasiewicz2, 1 1 2 Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2006-05-24 10:11:01 Mathematical analysis Mathematical logic Logic Dynamic programming Markov decision process Stochastic control Constructible universe Situation calculus First-order logic Distribution
5	Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:03 Logic programming Filter theory Logic in computer science Knowledge representation Formal languages Situation calculus Fluent Well-formed formula FO Filter Frame problem Linear temporal logic
6	I N F S Y S R E S E A R C H R Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2007-03-24 19:54:28 Logic programming Situation calculus Sheaf Computability theory
7	ACTIONS AND OTHER EVENTS IN SITUATION CALCULUS John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:19:36 Logic in computer science Logic programming Situation calculus Z notation Fluent S
8	Property Persistence in the Situation Calculus Add to Reading List Source URL: www.rfk.id.au Language: English - Date: 2015-05-24 18:36:22
9	Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu Add to Reading List Source URL: i.stanford.edu Language: English - Date: 2010-08-28 23:41:03 Mathematics Knowledge Knowledge representation Artificial intelligence Epistemology Frame problem Binary decision diagram Situation calculus Fluent Science Logic programming Branches of philosophy
10	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2010-08-28 23:41:19 Logic in computer science Logic programming Automated planning and scheduling Formal methods Conjunctive normal form Situation calculus Planning Domain Definition Language Algorithm Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics

UPDATE